MV-algebra相关论文
在MV-方体[0,1]X的子集Ω上引进MV-拓扑结构,并套论MV-拓扑空间的紧性、Hausdorff分离性等拓扑性质.细致地讨论MV-代数的素滤子集......
首先证明了Lukasiewicz系统中的公式┐x^m＋y^n，┐mx＋ny，┐x^m＋ny，┐mx＋y^n是强蕴涵算子，接着指出任意两个Lukasiewicz强蕴涵算子的合取和析......
粗糙集理论是一种新的处理模糊和不确定知识的数学工具，借助近似代数上的原子及同余关系，在证明了在适当选取加运算、乘运算和余运算......
在文献[1]中,首先使MV-代数形式化,而且研究了MV-代数的逻辑性,证明了该形式化的MV-代数理论可应用于子模、同态及链并集,同时证明......
讨论了BR0-代数与BCK-代数之间以及BR0-代数的滤子与BCK-代数的理想之间的关系，给出了BR0-代数可以诱导出一个有界BCK-代数，有界交换......
基于MV代数（Many—Valuedalgebra）语义，通过在MV代数赋值格和全体命题集上分别建立概率测度，利用积分方法提出了一种格值逻辑上命题的......
滤子是研究逻辑代数的有效工具．本文研究了BL代数的fantastic和normal滤子的等价条件，得到了在MV-代数中两种滤子之间的等价性，给出了......
量子结构和代数结构上的态,是一种非概率测度,也是经典概率测度的一般化.本文将对一些量子结构和代数结构上的态和内态方面的研究......
本文引入弱ＦＩ代数，弱ＭＶ代数的概念，研究了它们的一些性质。...
以ΩM记MV-代数M到MV-单位区间[0，1]的全体Lukasiewicz．赋值之集．本文证明了格完备的MV-代数是正则的，从而可通过一种自然的方法在ΩM......
引入偏序集上的弱蕴涵代数的概念，证明它在满足条件（x→y）→y，=（y→x）→x时构成MV代数，也构成弱R0代数．同时探讨了关联蕴涵代数与剩余格及B......
在MV-代数中引入了⊕理想概念,并对⊕理想与同余关系的联系及其相关性质进行了初步研究。在MV-代数中利用蕴涵算子⊕给出了⊕理想......
定义MV-代数上关于Boole划分的下近似和上近似运算,给出关于Boole划分的下近似和上近似运算的性质。利用MV-代数的全体Boole元素集......
通过对MV代数和Lukasiewicz命题演算系统的研究，我们对MV代数的定义进行了简化，并讨论了MV代数和其它代数之间的关系。主要结果是：（1）从......
MV-代数是C.C.Chang为了提供Lukasiewicz和Tarski的多值逻辑系统的完备性定理的代数证明而发明的.它通过逻辑的观点,更进一步观察M......
本文证明了格蕴涵代数和有界可交换BCK-代数是两个等价的代数系统，以及MV-代数和有界可交换BCK-代数是两个等价的代数系统。......
